-
1 Logic Chain
Computers: LC -
2 Logic
My initial step... was to attempt to reduce the concept of ordering in a sequence to that of logical consequence, so as to proceed from there to the concept of number. To prevent anything intuitive from penetrating here unnoticed, I had to bend every effort to keep the chain of inference free of gaps. In attempting to comply with this requirement in the strictest possible way, I found the inadequacy of language to be an obstacle. (Frege, 1972, p. 104)I believe I can make the relation of my 'conceptual notation' to ordinary language clearest if I compare it to the relation of the microscope to the eye. The latter, because of the range of its applicability and because of the ease with which it can adapt itself to the most varied circumstances, has a great superiority over the microscope. Of course, viewed as an optical instrument it reveals many imperfections, which usually remain unnoticed only because of its intimate connection with mental life. But as soon as scientific purposes place strong requirements upon sharpness of resolution, the eye proves to be inadequate.... Similarly, this 'conceptual notation' is devised for particular scientific purposes; and therefore one may not condemn it because it is useless for other purposes. (Frege, 1972, pp. 104-105)To sum up briefly, it is the business of the logician to conduct an unceasing struggle against psychology and those parts of language and grammar which fail to give untrammeled expression to what is logical. He does not have to answer the question: How does thinking normally take place in human beings? What course does it naturally follow in the human mind? What is natural to one person may well be unnatural to another. (Frege, 1979, pp. 6-7)We are very dependent on external aids in our thinking, and there is no doubt that the language of everyday life-so far, at least, as a certain area of discourse is concerned-had first to be replaced by a more sophisticated instrument, before certain distinctions could be noticed. But so far the academic world has, for the most part, disdained to master this instrument. (Frege, 1979, pp. 6-7)There is no reproach the logician need fear less than the reproach that his way of formulating things is unnatural.... If we were to heed those who object that logic is unnatural, we would run the risk of becoming embroiled in interminable disputes about what is natural, disputes which are quite incapable of being resolved within the province of logic. (Frege, 1979, p. 128)[L]inguists will be forced, internally as it were, to come to grips with the results of modern logic. Indeed, this is apparently already happening to some extent. By "logic" is not meant here recursive function-theory, California model-theory, constructive proof-theory, or even axiomatic settheory. Such areas may or may not be useful for linguistics. Rather under "logic" are included our good old friends, the homely locutions "and," "or," "if-then," "if and only if," "not," "for all x," "for some x," and "is identical with," plus the calculus of individuals, event-logic, syntax, denotational semantics, and... various parts of pragmatics.... It is to these that the linguist can most profitably turn for help. These are his tools. And they are "clean tools," to borrow a phrase of the late J. L. Austin in another context, in fact, the only really clean ones we have, so that we might as well use them as much as we can. But they constitute only what may be called "baby logic." Baby logic is to the linguist what "baby mathematics" (in the phrase of Murray Gell-Mann) is to the theoretical physicist-very elementary but indispensable domains of theory in both cases. (Martin, 1969, pp. 261-262)There appears to be no branch of deductive inference that requires us to assume the existence of a mental logic in order to do justice to the psychological phenomena. To be logical, an individual requires, not formal rules of inference, but a tacit knowledge of the fundamental semantic principle governing any inference; a deduction is valid provided that there is no way of interpreting the premises correctly that is inconsistent with the conclusion. Logic provides a systematic method for searching for such counter-examples. The empirical evidence suggests that ordinary individuals possess no such methods. (Johnson-Laird, quoted in Mehler, Walker & Garrett, 1982, p. 130)The fundamental paradox of logic [that "there is no class (as a totality) of those classes which, each taken as a totality, do not belong to themselves" (Russell to Frege, 16 June 1902, in van Heijenoort, 1967, p. 125)] is with us still, bequeathed by Russell-by way of philosophy, mathematics, and even computer science-to the whole of twentieth-century thought. Twentieth-century philosophy would begin not with a foundation for logic, as Russell had hoped in 1900, but with the discovery in 1901 that no such foundation can be laid. (Everdell, 1997, p. 184)Historical dictionary of quotations in cognitive science > Logic
-
3 логическая цепь
Русско-английский словарь по вычислительной технике и программированию > логическая цепь
-
4 цепочка логических схем
Русско-английский словарь по вычислительной технике и программированию > цепочка логических схем
-
5 логическая цепь
-
6 паразитный импульс на выходе логической схемы
Русско-английский большой базовый словарь > паразитный импульс на выходе логической схемы
-
7 плата с логическими схемами
Русско-английский большой базовый словарь > плата с логическими схемами
-
8 цепочка логических схем
Русско-английский большой базовый словарь > цепочка логических схем
-
9 плата с логической схемой
Русско-английский словарь по информационным технологиям > плата с логической схемой
-
10 матрица логических схем
Русско-английский большой базовый словарь > матрица логических схем
-
11 синтез логических схем
Русско-английский большой базовый словарь > синтез логических схем
-
12 логическая цепь
калиброванная цепь, цепь с калиброванным шагом — pitch chain
-
13 троичные логические схемы
1. ternary logic2. three-value logicРусско-английский большой базовый словарь > троичные логические схемы
-
14 гидравлические логические схемы
Русско-английский большой базовый словарь > гидравлические логические схемы
-
15 интегральные инжекционные логические схемы
Русско-английский большой базовый словарь > интегральные инжекционные логические схемы
-
16 комплементарные транзисторные логические схемы
Русско-английский большой базовый словарь > комплементарные транзисторные логические схемы
-
17 микропрограммируемые логические схемы
Русско-английский большой базовый словарь > микропрограммируемые логические схемы
-
18 монолитные логические схемы
Русско-английский большой базовый словарь > монолитные логические схемы
-
19 пневматические логические схемы
Русско-английский большой базовый словарь > пневматические логические схемы
-
20 струйные логические схемы
Русско-английский большой базовый словарь > струйные логические схемы
См. также в других словарях:
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Logic — For other uses, see Logic (disambiguation). Philosophy … Wikipedia
Chain-of-responsibility pattern — In Object Oriented Design, the chain of responsibility pattern is a design pattern consisting of a source of command objects and a series of processing objects. Each processing object contains a set of logic that describes the types of command… … Wikipedia
logic — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 a a chain of reasoning (I don t follow your logic). b the correct or incorrect use of reasoning (your logic is flawed). c ability in… … Useful english dictionary
logic — n 1. science of reasoning, dialectics, symbolic logic, logistic; polemics, art of disputation ot controversy. 2. reasoning, argumentation, ratiocination, process of reasoning; Logic. inference, Logic. deduction, Logic. induction, syllogization,… … A Note on the Style of the synonym finder
logic — I (Roget s IV) n. Syn. reasoning, dialectic, deduction, syllogism, induction, inference, course of argument, course of thought; thesis, antithesis and synthesis, chain of reasoning; see also philosophy 1 , thought 1 . Branches of logic include:… … English dictionary for students
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
Photochemical logic gate — A photochemical logic gate is based on the photochemical intersystem crossing and molecular electronic transition between photochemically active molecules, leading to logic gates that can be produced. The OR gate Electron / Photon transfer chain… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia